Int32ConvertToRem(n)
  return unit(n/4,'rem')
